Slic : a Speci cation Language for Interface
نویسنده
چکیده
منابع مشابه
On the Language Design and Semantic Foundation of LCL a Larch C Interface Speci cation Language
On the Language Design and Semantic Foundation of LCL a Larch C Interface Speci cation Language The specialization of a speci cation language to a particular programming lan guage is an important characteristic of module interface speci cation languages MISL s The only well developed MISL s are the Larch interface languages and among these LCL a Larch C interface speci cation language would see...
متن کاملEnsuring Correctness of Java Frameworks A Formal Look at JCF
In this paper we propose a novel approach to speci cation development and veri cation of object oriented frameworks employing separate interface inheritance and implementation inheritance hierarchies In particular we il lustrate how our method of framework speci cation and veri cation can be used to specify Java Collections Framework which is a part of the standard Java Development Kit and ensu...
متن کاملPreliminary Design of JML: A Behavioral Interface Speci cation Language for Java
JML is a behavioral interface speci cation language tailored to Java. It also allows assertions to be intermixed with Java code, as an aid to veri cation and debugging. JML is designed to be used by working software engineers, and uses Ei el-style assertion syntax combined with the model-based approach to speci cations typi ed by VDM and Larch. However, JML supports quanti ers, speci cation-onl...
متن کاملThe ABCs of specification: asml, behavior, and components
ion ICounter :ct = 2 succ Counter() as Integer return 2 succ Increment() succ := succ + 1 In this particular example, it is obvious how CCounter ful lls the obligations it inherits when implementing the ICounter interface. However, in general, abstractions can be much more complicated. There is no requirement that an AsmL speci cation be implemented in AsmL. AsmL provides native COM connectivit...
متن کاملA Quick Overview of Larch/C++
This paper gives a quick overview of Larch/C++, an interface speci cation language for C++. Through examples, we explain declarations, function speci cations, class speci cations, and template speci cations. An extended example is given in the last section. The reader is assumed to have some familiarity with C++. The reader should have some familiarity with the idea of formal speci cation, but ...
متن کامل